more fighting over haskell types