page = blog :: brent -> [string] url = https://byorgey.wordpress.com analysed @ 2022-04-20 20:17 UTC Typed type-level programming: status report