--- /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