fork(1) download
copy 
  1. {-# LANGUAGE TypeFamilies #-}
  2. {-# LANGUAGE MultiParamTypeClasses #-}
  3. {-# LANGUAGE ScopedTypeVariables #-}
  4.  
  5. class FooC a b where
  6.   type FooE a b
  7.   foob :: a -> FooE a b -> b
  8.  
  9. foo :: forall a b. FooC a b => [FooE a b] -> [b]
  10. foo = map (foob (undefined :: a))
  11.  
  12. main :: IO ()
  13. main = undefined
  14.  
Runtime error #stdin #stdout #stderr 0s 6188KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
prog: Prelude.undefined
https://ideone.com/tEy0e2
language:
Haskell (ghc 8.4.4)
created:
9 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!