import "Prelude"

main = sin 1 2
--
3:8-3:11: Constrain Real (a -> b) contains free variables not mentioned in the type of the value.
3:14-3:15: Constrain Ring a contains free variables not mentioned in the type of the value.