{"body":"λ> data ARecord = ARecord { anInt :: Int, aBool :: Bool, bBool :: Bool } deriving (Show, Generic)\nλ> let aVal = ARecord 13 True False\nλ> aVal ^? typed @Int\nJust 13\nλ> aVal ^? typed @Bool\n\n<interactive>:10:9: error:\n    • The type ARecord contains multiple values of type Bool.\n      The choice of value is thus ambiguous. The offending constructors are:\n      • ARecord\n      \n    • In the second argument of ‘(^?)’, namely ‘typed @Bool’\n      In the expression: aVal ^? typed @Bool\n      In an equation for ‘it’: it = aVal ^? typed @Bool\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/5laasaTP","modified":1689855942,"id":"5laasaTP","size":561,"lines":14,"own_paste":false,"theme":"","date":1689855942}