{"body":"ghci> :t let k :: a %1-> b -> a; k a b = a in k\nlet k :: a %1-> b -> a; k a b = a in k :: a %1 -> b -> a\nghci> :t let bad_k :: a -> b %1-> a; bad_k a b = a in bad_k\n\n<interactive>:1:37: error:\n    • Couldn't match type ‘'Many’ with ‘'One’\n        arising from multiplicity of ‘b’\n    • In an equation for ‘bad_k’: bad_k a b = a\n      In the expression:\n        let\n          bad_k :: a -> b %1 -> a\n          bad_k a b = a\n        in bad_k\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/BGjF9Hn6","modified":1613430164,"id":"BGjF9Hn6","size":460,"lines":13,"own_paste":false,"theme":"","date":1613430164}