You're right, but my response would be that fst (5, error "second") and head [] = error "empty list" head (x:xs) = x are simply not things you s

You're right, but my response would be that fst (5, error "second") and head [] = error "empty list" head (x:xs) = x are simply not things you should be writing. They're not good program design and it's not a weakness that Bluefin doesn't support them unaltered.