+++ /dev/null
-import "Prelude"\r
-import "JavaBuiltin" as Java\r
-\r
-class Seq seq el where\r
- myLength :: seq -> Integer\r
- myGet :: seq -> Integer -> el\r
-\r
-instance (b ~ Character) => Seq String b where\r
- myLength = Java.method "length"\r
- myGet = Java.method "charAt"\r
- \r
-instance (b ~ a) => Seq [a] b where\r
- myLength = Java.method "size"\r
- myGet = Java.method "get"\r
-\r
-//main :: (Character, String)\r
-main = (myGet "abc" 1, myGet ["a", "b", "c"] 1)\r
---\r
-(b,b)
\ No newline at end of file