page = blog :: brent -> [string] url = https://byorgey.wordpress.com analysed @ 2021-05-12 18:18 UTC Typed type-level programming in Haskell, part I: functional dependencies