{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreib7y4jozskvegehtruup4qz24mzvmpv2p2tq32lc7lltlhcjik5da",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mjwfodsqgeb2"
  },
  "path": "/t/whats-your-go-to-haskell-trick-for-beginners/13957#post_2",
  "publishedAt": "2026-04-20T10:11:58.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "AlbanLovense:\n\n> Let’s share some wisdom and make this journey a bit easier for the newbies!\n\nHaskell is not the end of the “food chain”\nFor many years I was sceptical about proof assistants (agda and rocq), because of a terrible Prolog course taught in the university.\n\nI would recommend to try GADTs feature after studying inductive types described in the 1st volume of Benjamin Pierce book “Software Foundations”.",
  "title": "What's Your Go-To Haskell Trick for Beginners?"
}