>>> :set -XTypeApplications >>> S.sum $ S.take 2 (S.readLn @IO @Int) 10<Enter> 12<Enter> 22 :> ()
>>> S.toList $ S.take 2 (S.readLn @IO @Int) 10<Enter> 1@#$%^&*\<Enter> 12<Enter> [10,12] :> ()