joshAg

  [1]: https://news.ycombinator.com/item?id=44381297
  [2]: https://arxiv.org/pdf/2506.19244
  [3]: https://www.quantamagazine.org/a-new-pyramid-like-shape-always-lands-the-same-side-up-20250625/

  Int -> Int

  String -> String -> Int -> Int

  String -> String -> String -> String -> Int -> Int

  data Registry { 
    user :: String,
    password :: String,
    url :: String
  }

  Registry -> String -> Int

  data Foo { 
    reg:: Registry, 
    image :: String
  }

  Foo -> Int -> Int