--- /dev/null
+interface Oberon_Real where
+from_string :: [Char] -> Oberon_Real
+ {-# ARITY from_string = 0 #-}
+data Oberon_Real
+instance Eq Oberon_Real
+ {-# ARITY (==) = 2 #-}
+ {-# ARITY (/=) = 0 #-}
+instance Text Oberon_Real
+ {-# ARITY readsPrec = 0 #-}
+ {-# ARITY showsPrec = 2 #-}
+ {-# ARITY readList = 0 #-}
+ {-# ARITY showList = 0 #-}
+