Valvatoidea
Valvatoidea is a superfamily of minute freshwater and marine snails, aquatic gastropod mollusks in the informal group Lower Heterobranchia.[1]
Valvatoidea | |
---|---|
a live Valvata piscinalis | |
Five shells of Valvata macrostoma | |
Scientific classification | |
Kingdom: | |
Phylum: | |
Class: | |
(unranked): | |
Superfamily: | Valvatoidea Gray, 1840 |
Taxonomy
- Family Valvatidae
- Family Cornirostridae
- Family Hyalogyrinidae
- † Family Provalvatidae
gollark: ++exec```haskellimport Unsafe.Coercedata Would = Seriously Why Int deriving Showtype Mad = ()data Are = Are Mad deriving Showtype Is = Aredata You = You Are Mad deriving Showdata Thing = This Thing Is Mad deriving Showdata This = Thing Mad deriving Shownewtype Do = Do (Thing -> You -> [Thing])data Why = Why Would You Do This deriving Showinstance Show Do where show x = "Do the thing!"why :: Whywhy = Why would you do_ this where would = unsafeCoerce why you = You (Are ()) () do_ = Do $ \_ _ -> [] this = Thing ()main = print why```
gollark: Gooood.
gollark: ++exec```haskellimport Unsafe.Coercedata Would = Seriously Why Int deriving Showtype Mad = ()data Are = Are Mad deriving Showtype Is = Aredata You = You Are Mad deriving Showdata Thing = This Thing Is Mad deriving Showdata This = Thing Mad deriving Shownewtype Do = Do (Thing -> You -> [Thing])data Why = Why Would You Do This deriving Showinstance Show Do where show x = "Do the thing!"why :: Whywhy = Why would you do_ this where would = unsafeCoerce () you = You (Are ()) () do_ = Do $ \_ _ -> [] this = Thing ()main = print why```
gollark: It works!
gollark: ++exec```haskelldata Would = Seriously Why Int deriving Showtype Mad = ()data Are = Are Mad deriving Showtype Is = Aredata You = You Are Mad deriving Showdata Thing = This Thing Is Mad deriving Showdata This = Thing Mad deriving Shownewtype Do = Do (Thing -> You -> [Thing])data Why = Why Would You Do This deriving Showinstance Show Do where show x = "Do the thing!"why :: Whywhy = Why would you do_ this where would = Seriously why 0 you = You (Are ()) () do_ = Do $ \_ _ -> [] this = Thing ()main = print why```
References
- Bouchet, P. & Rocroi, J.-P. (2005). "Classification and Nomenclator of Gastropod Families". Malacologia. 47 (1–2).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.